$\forall$$T$:Type, $P$:Top. ($\forall$$x$$\in$[]. $P$($x$)) $\Leftarrow\!\Rightarrow$ True